50.02/51.34	unsat
