6.47/7.99	unsat
