51.22/54.44	unsat
