1.18/1.93	unsat
