62.70/68.58	unsat
