49.18/51.92	unsat
