143.99/144.24	unsat
