50.62/54.02	unsat
