143.56/144.45	unsat
