49.59/50.27	unsat
