55.89/58.42	unsat
