63.59/66.73	unsat
