Ax b c d solve