6.67/8.17	unsat
