49.02/51.22	unsat
