6.06/6.93	unsat
