49.86/51.22	unsat
