50.08/50.95	unsat
