6.90/6.93	unsat
