139.63/143.44	unsat
