1.29/1.44	unsat
