9.67/12.64	unsat
