10.57/13.74	unsat
