63.86/64.05	unsat
