1.28/6.93	unsat
