60.97/62.46	unsat
