64.94/65.17	unsat
