55.10/58.22	unsat
