1.39/1.93	unsat
