6.90/6.96	unsat
