1.59/1.93	unsat
