1.68/1.90	unsat
