63.09/66.35	unsat
