50.20/51.28	unsat
