6.67/8.24	unsat
