10.57/11.93	unsat
