6.67/8.99	unsat
