64.74/69.03	unsat
