60.19/62.83	unsat
