8.67/10.40	unsat
