9.67/12.13	unsat
