58.06/63.80	unsat
