1.89/1.93	unsat
