11.87/12.67	unsat
