9.67/14.13	unsat
