6.67/7.94	unsat
