1.23/1.93	unsat
