55.83/58.46	unsat
