1.48/1.93	unsat
