1.88/1.93	unsat
