10.57/10.63	unsat
