49.86/50.09	unsat
