6.67/8.28	unsat
