6.97/8.28	unsat
