48.00/50.39	unsat
