11.67/11.73	unsat
