1.68/1.89	unsat
