64.07/65.07	unsat
