6.07/6.93	unsat
