11.67/12.68	unsat
