50.20/50.46	unsat
