64.69/64.97	unsat
