48.33/51.92	unsat
