11.97/12.67	unsat
