10.57/10.82	unsat
