11.57/11.80	unsat
