64.05/65.67	unsat
