11.60/11.67	unsat
