51.62/67.02	unsat
