11.67/12.14	unsat
