6.67/9.40	unsat
