6.97/7.99	unsat
