11.59/11.67	unsat
