50.23/51.34	unsat
