1.29/1.89	unsat
