64.56/66.95	unsat
