49.02/51.92	unsat
