54.68/58.35	unsat
