65.03/65.30	unsat
