1.05/1.89	unsat
