51.15/51.92	unsat
