10.67/12.67	unsat
