1.29/1.50	unsat
